Doc punctuation fixes.
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 12 Jan 2012 21:52:31 +0000 (13:52 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 12 Jan 2012 21:52:31 +0000 (13:52 -0800)
commit290bf2dada751e553989e20343f52df0c4028a13
tree2400af9e42e4c9624a19cdda13182c98011680e5
parentae834bd44efe694be2e6c31b495c2e4436e39330
Doc punctuation fixes.
doc/misc/ede.texi
doc/misc/reftex.texi